Nuprl Definition : w-queue
0,22
postcript
pdf
queue(
l
;
t
) == nth_tl(||rcvs(
l
;
t
)||;snds(
l
;
t
))
latex
clarification:
w-queue(
w
;
l
;
t
) == nth_tl(||w-rcvs(
w
;
l
;
t
)||;w-snds(
w
;
l
;
t
))
latex
Definitions
snds(
l
;
t
)
,
rcvs(
l
;
t
)
,
||
as
||
,
nth_tl(
n
;
as
)
FDL editor aliases
w-queue
origin